<?php
    if($lang && $lang == 'en') {
        echo '<div id="contact-info">';            
        echo '<div class="margin_10"><img src="images/s_c_sale_e.gif"/></div>';
        echo '<div class="border margin_10"><img src="images/s_o_counsel_e.gif"/></div>';
        echo '<div class="border margin_10"><img src="images/s_map_e.gif"/></div>';
        echo '</div>';
    } else {
        echo '<div id="contact-info">'; 
        echo '<div class="margin_10"><img src="images/s_c_sale.gif"/></div>';
        echo '<div class="border margin_10"><img src="images/s_o_counsel.gif"/></div>';
        echo '<div class="border margin_10"><img src="images/s_map.gif"/></div>';
        echo '</div>';
    }
?>   